Trvalo udržateľný život. Ale aký život?

Navier - Stokes ALE free

Droplet impact onto a solid surface is modeled and numerically simulated using an ALE formulation of the Navier-Stokes free surface equations. The triple line dynamics aspect is modeled implicitely through the Shikhmurzaev theory. Those equations involve a generalized Navier slip boundary conditions with the variation of the surface tension near the triple line (thus a local Marangoni effect). ...

Stiglitz 1 (Ale).qxd

ALE Defeasible Description Logic

One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning. In this paper, we extend ALC− Defeasible Description Logic with existential quantifier, i.e., ALE Defeasible Description Logic. Also, we modify some parts of the logic, resulting in an increasing effici...

ALE: Awesome Likeable Enclaves

Our goal is to formally verify work begun by Gollamudi and Chong, who introduce ImpE, a security-typed calculus that models low-level imperative programs that can directly use enclaves (a sort of private memory region), and provide a translation from a higher-level, enclave-agnostic calculus, ImpS, to ImpE [1]. Our project naturally falls into two parts: proving that every well-typed program in...

Bioenergetika: kľúč k pochopeniu mozgu a mysle

Abstrakt. Prirodzený život má chemickú povahu. Chémia, a nie abstraktná logika, podmieňuje, ale aj obmedzuje, jeho možnosti. Obmedzenia na evolučné možnosti života vyjadrujú dve metafory: spandrelov svätého Marka a pilót Rialta. Človek má dva rovnocenné poznávacie systémy: imunitný a nervový. Obidva fungujú na rovnakom princípe: vnútorne, autonómne, generujú variácie a prostredie z nich vhodné ...